test_integral.cc